projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3566c1) | patch
xen/x86: Identify legitimate fallthrough cases
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 15 Jul 2016 15:36:07 +0000 (15:36 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 18 Jul 2016 17:27:06 +0000 (18:27 +0100)
commite763268781d341fef05d461f3057e6ced5e033f2
tree988d7a6288afeb1b40716a90f7526798af9f325atree | snapshot
parente3566c190cfd3789aeea5e2273f5f8888ca8ec2fcommit | diff
xen/x86: Identify legitimate fallthrough cases

The case in arch_set_info_guest() is a legitimate fallthrough.  Mark it as such.

The cases in vlapic_accept_irq() are a terminal error path, but Coverity fails
to spot this.  Reorder the comment to the end.

No functional change, but fixes two MISSING_BREAK Coverity defects.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: George Dunlap <george.dunlap@citrix.com>
xen/arch/x86/domain.c diff | blob | history
xen/arch/x86/hvm/vlapic.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.